Just a naive question: Have you the possibility to abolish a definition (even if it is static)? The systems that do this correctly are rare (like 1, id est SICStus)

Right now, that's not possible and it is indeed a somewhat difficult problem. Compiled predicates that call other compiled predicates don't check if the later has been abolished. I'll give it some thought

Within ISO, there is only abolish/1to abolish dynamic predicates. SICStus offers the additional functionality to abolish also static predicates with abolish/2 with option force(true). Being able to abolish static code on a predicate-by-predicate basis is a bit much to ask for since this prevents many optimizations. Maybe the granularity could be somewhat coarser. Like the entire Prolog text that was prepared for execution. Or some dependency mechanism. However, if code is abolished it must be conforming to the logical update semantics...

The most important use case is indeed to reload some code.

The most important use case is indeed to reload some code.

And the most important current use case of this would indeed be exhaustive testing. Currently, this does not work for asserta/1 & rectact/1and thus the WAM code generation is not much tested either. Even SICStus had (some time ago) issues there.

I updated the PR, I removed the JIT1, now all the focus is on JIT2, which can only do very basic predicates right now (like a(1,2,3) and query: a(X, Y, Z). But it implements the skeleton of the new architecture, it ships a deref/store implementation in pure CLIF (Cranelift assembly). Everything it's still under a feature flag, so I think it's better to merge it, so code doesn't diverge too much between branches.

@aarroyoc: Thank you a lot for working on this extremely impressive feature!

In order to merge this with minimal chance for conflicts with other PRs and existing ongoing developments in other branches, do you think it would be good to reduce the changes to exactly those that should actually be kept, by rebasing the PR and removing features that were only present intermittently, if any?